1. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000


2. Goal-directed proof theory
پدیدآورنده: / by Dov M. Gabbay and Nicola Olivetti
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Proof theory
رده :
QA9
.
54
.
G33
2000


3. Proof theory for fuzzy logics
پدیدآورنده: Metcalfe, George
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009


4. Proof theory for fuzzy logics
پدیدآورنده: / by George Metcalfe, Nicola Olivetti, Dov Gabbay
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Fuzzy logic.,Proof theory.
رده :
QA
,
9
.
64
,.
M48
,
2009

